Failed to solve the following constraints:
  _V_10 =< U ⊔ V
  U ⊔ _V_10 = V
Unsolved metas at the following locations:
  Issue3044.agda:21,32-33
